top-down reasoning

自顶向下推理